Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
31	West Yellowstone Police Department Request for Proposal Public Safety Software System Add to Reading List Source URL: www.townofwestyellowstone.com Language: English - Date: 2016-07-27 15:24:47 Sales Procurement Auctions Outsourcing Request for proposal Government procurement in the United States Proposal Requirement Yellowstone National Park
32	  File-encryption tool secureEFS Add to Reading List Source URL: www.a-sit.at Language: English - Date: 2006-10-11 09:39:11 Disk encryption Cryptographic software Cryptography NTFS Windows Vista Encryption Encrypting File System Windows Security and safety features new to Windows Vista
33	Software System Safety Engineer Technology Service Corporation (TSC), an Engineering Services Provider with concentration providing Radar & Sensor technology, Algorithm & Software development, Modeling & Simulation, Test Add to Reading List Source URL: www.tsc.com Language: English - Date: 2016-04-07 09:34:56 Safety engineering System safety Hazard analysis Software system safety Safety engineer Requirement Simulation Software development DO-178B Requirements analysis
34	AUTOPLUG: Remote Diagnostics Automotive Architecture for Control Software Safety Rahul Mangharam, Yash V. Pant and Truong X. Nghiem Department of Electrical & Systems Engineering University of Pennsylvania Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2014-04-09 12:28:54 Embedded systems Automation Power control Electronic control unit On-board diagnostics CAN bus Hardware-in-the-loop simulation AUTOSAR Data logger Anti-lock braking system Fault detection and isolation Electronic stability control
35	The Honorable Michael Leavitt Add to Reading List Source URL: www.himssehra.org Language: English - Date: 2014-02-11 16:05:58 Electronic health records Patient safety Physician Quality Reporting System Practice Fusion Health information technology Greenway Health Health Level 7 EHR Medical scribe Health Information Technology for Economic and Clinical Health Act Nortec Software
36	Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Data types Type theory Object-oriented programming languages Cross-platform software Procedural programming languages Gradual typing Type system This Objective-C Type safety Parameter Reference
37	Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po Add to Reading List Source URL: ti.arc.nasa.gov Language: English Avionics Safety engineering Safety Risk Systems engineering Hazard analysis Safety case Unmanned aerial vehicle Functional safety Autopilot System safety Avionics software
38	I-Pic: A Platform for Privacy-Compliant Image Capture Paarijaat Aditya, Rijurekha Sen and Peter Druschel Max Planck Institute for Software Systems (MPI-SWS) Seong Joon Oh, Rodrigo Benenson, Mario Fritz and Bernt Schiele Add to Reading List Source URL: scalable.mpi-inf.mpg.de Language: English - Date: 2016-05-19 15:03:10 Learning Prevention Safety Internet privacy Security Privacy Facial recognition system Bystander Surveillance
39	netlab GmbH DDüsseldorf Germany sgt Sensor Consulting Dr. Guido Tschulena DWehrheim Add to Reading List Source URL: www.sgt-sensor.de Language: English - Date: 2006-05-08 06:13:44 Infrared imaging Advanced driver assistance systems Software Transport Technology Lidar Automobile safety Sensor Thermographic camera Infra-red search and track Here Autonomous cruise control system
40	The Price of Safety: Evaluating IOMMU Performance Preliminary Results Muli Ben-Yehuda Add to Reading List Source URL: www.mulix.org Language: English - Date: 2016-06-16 09:04:11 Software System software Inputoutput memory management unit Memory management Xen Benchmark Hyper-V Hypervisor